Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening

Source URL: www.cs.ox.ac.uk

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Numerical linear algebra
• Eigendecomposition of a matrix
• Eigenvalues and eigenvectors
• Matrix
• State-space representation
• Lanczos algorithm
• Eigenvalue perturbation

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking

Noname manuscript No. (will be inserted by the editor) Automatic Analysis of DMA Races Using Model Checking and k-induction Alastair F. Donaldson · Daniel Kroening ·

Source URL: www.doc.ic.ac.uk

Satisfiability of Propositional Formulas Mooly Sagiv Slides by Sharad Malik, Ohad Shacham, Daniel Kroening and Ofer

Source URL: www.cs.tau.ac.il

S CRATCH: a Tool for Automatic Analysis of DMA Races ∗ Alastair F. Donaldson Daniel Kroening Philipp R¨ummer

Source URL: www.doc.ic.ac.uk

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

Source URL: www.doc.ic.ac.uk

Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access

Source URL: www.doc.ic.ac.uk

Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www.doc.ic.ac.uk

Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www0.cs.ucl.ac.uk